Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
591	A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation Pablo Chico de Guzm´an1 Manuel Carro1 Manuel V. Hermenegildo1,2 {mcarro,herme}@fi.upm.es Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2009-07-09 07:03:26 Prolog XSB Logic programming Logic Continuation Scheme Software engineering Programming language theory Computer programming
592	C:/Users/jcabot/Documents/My Dropbox/OCLChapter/finalversion/OCLChapter.dvi Add to Reading List Source URL: modeling-languages.com Language: English - Date: 2012-03-21 19:16:58 Object-oriented programming Theoretical computer science ISO standards Data types Type theory Object Constraint Language ECO Domain-specific language EXPRESS Software engineering Unified Modeling Language Computing
593	“Unrolling” Complex Task Models into MDPs Robert P. Goldman David J. Musliner Mark S. Boddy Add to Reading List Source URL: rpgoldman.goldman-tribe.org Language: English - Date: 2009-08-06 12:04:58 Dynamic programming Heuristics Mathematical sciences Stochastic control Markov processes Automated planning and scheduling Markov decision process Planning Domain Definition Language Algorithm Statistics Control theory Operations research
594	A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation Pablo Chico de Guzm´an1 Manuel Carro1 Manuel V. Hermenegildo1,2 {mcarro,herme}@fi.upm.es Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2009-07-09 07:03:26 Prolog XSB Logic programming Logic Continuation Scheme Software engineering Programming language theory Computer programming
595	newsletter_dicembre_newsletter Add to Reading List Source URL: www.geo.uib.no Language: English - Date: 2012-01-02 05:44:06 Montre Epos SA E-Science Computing Epos Ltd European Strategy Forum on Research Infrastructures ALGOL 68 Software engineering Framework Programmes for Research and Technological Development Programming language theory Data infrastructure
596	PDF Document Add to Reading List Source URL: www.tonylester.co.uk Language: English - Date: 2015-04-07 06:20:26 Auction Computing Programming language theory Software engineering ALGOL 68
597	Report Required by the Ethics in Government Act ofU.S.C. app..~’.~ FINANCIAL DISCLOSURE REPORT FOR CALENDAR YEAR 2010 Add to Reading List Source URL: www.judicialwatch.org Language: English - Date: 2014-10-24 05:51:59 ALGOL 68 Book value Rate of return IRS tax forms Finance Programming language theory Accountancy
598	High-Level Languages for Small Devices: A Case Study Manuel Carro Jose´ F. Morales Henk L. Muller Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2006-10-31 09:05:46 Data types Type theory Programming language implementation Procedural programming languages Computer performance Pointer Compiler optimization Type system C Computing Software engineering Computer programming
599	CoqInE: Translating the Calculus of Inductive Constructions into the λΠ-calculus Modulo Mathieu Boespflug1 and Guillaume Burel2 1 McGill University Montr´eal, Qu´ebec, Canada Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:10:59 Type theory Dependently typed programming Lambda calculus Formal methods Recursion Calculus of constructions Calculus of inductive constructions Coq Dependent type Programming language theory Mathematics Algebra
600	Polymorphic Embedding of DSLs Christian Hofer Klaus Ostermann Tillmann Rendel Adriaan Moors Add to Reading List Source URL: www.mathematik.uni-marburg.de Language: English - Date: 2008-08-04 08:41:32 Logic in computer science Type theory Programming language semantics Functional languages Denotational semantics Domain-specific language Scala Semantics Programming language Computing Software engineering Theoretical computer science

UPDATE